大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

History of Cartography [electronic resource] : International Symposium of the ICA Commission, 2010

0
索取号：
作者：Liebenberg、 Elri.、Demhardt、 Imre Josef.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Graph Drawing [electronic resource] : 18th International Symposium, GD 2010, Konstanz, Germany, September 21-24, 2010. Revised Selected Papers

0
索取号：
作者：Brandes、 Ulrik.、Cornelsen、 Sabine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging [electronic resource] : International MICCAI Workshop, MCV 2010, Beijing, China, September 20, 2010, Revised Selected Papers

0
索取号：
作者：Menze、 Bjoern.、Langs、 Georg.、Tu、 Zhuowen.、Criminisi、 Antonio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

SOFSEM 2011: Theory and Practice of Computer Science [electronic resource] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nov媒 Smokovec, Slovakia, January 22-28, 2011. Proceedings

0
索取号：
作者：膶ern谩、 Ivana.、Gyim贸thy、 Tibor.、Hromkovi膷、 Juraj.、Jefferey、 Keith.、Kr谩lovi膰、 Rastislav.、Vukoli膰、 Marko.、Wolf、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

0
索取号：
作者：Rocha、 Ricardo.、Launchbury、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part IV

0
索取号：
作者：Li、 Daoliang.、Liu、 Yande.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part III

0
索取号：
作者：Li、 Daoliang.、Liu、 Yande.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : First International Workshop, HCITOCH 2010, Brescello, Italy, September 7-8, 2010. Revised Selected Papers

0
索取号：
作者：Cipolla Ficarra、 Francisco V.、Castro Lozano、 Carlos.、Nicol、 Emma.、Kratky、 Andreas.、Cipolla-Ficarra、 Miguel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part II

0
索取号：
作者：Li、 Daoliang.、Liu、 Yande.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer and Computing Technologies in Agriculture IV [electronic resource] : 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I

0
索取号：
作者：Li、 Daoliang.、Liu、 Yande.、Chen、 Yingyi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Arithmetic [electronic resource] : Algorithms and Hardware Implementations

0
索取号：
作者：Vl膬du牛iu、 Mircea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

New Horizons in Evolutionary Robotics [electronic resource] : Extended Contributions from the 2009 EvoDeRob Workshop

0
索取号：
作者：Doncieux、 St茅phane.、Bred猫che、 Nicolas.、Mouret、 Jean-Baptiste.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

0
索取号：
作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Developments and Applications in Sensing Technology [electronic resource]

0
索取号：
作者：Mukhopadhyay、 Subhas Chandra.、Lay-Ekuakille、 Aim茅.、Fuchs、 Anton.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Computing [electronic resource] : First International Conference on Computer Science and Information Technology, CCSIT 2011, Bangalore, India, January 2-4, 2011. Proceedings, Part III

0
索取号：
作者：Meghanathan、 Natarajan.、Kaushik、 Brajesh Kumar.、Nagamalai、 Dhinaharan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.